Changed the interface slightly to simplify. Now tries are *always* interned.
(There is no option to not intern them.)
Authored by: dwarren 2018-06-28
Parent: [r9392]
Child: [r9394]
