Complexify the type system to support rank-1 polymorphic types and terms.

Complexify the type system to support rank-1 polymorphic types and terms.

With polymorphic types now expressible,
the proto token workaround should be removable,
since every token should now be able to directly have a Type/Term,
thus no longer needing to be applied to a few others before having it.

As a consequence of merging Type and Term,
the symantic machinery will have to be moved to TeSym,
and thus also carried by Type. WIP.