zonkType, quantify
New inst
skolemise
Moved inst/skolemise into TIEnv
TI util funcs