more uniform flags for Occur-check in unification and matching
additional flag in Term.App, currently used to pre-compute ground-ness of terms