Type argument to defineTerm now working properly.
Restrictions start out as Propositional for non-qvars.
Added more tests.
Restrictions for arb/ind are now made AnalyticGeneric at build time, and not in assert.