Many changes: more predicates, a number of bug fixes. Now supports
both regular representation and interned-term representation (with intern_termhash.)
Authored by: dwarren 2018-02-23
Parent: [r9226]
Child: [r9228]
