Kind, Type, Term syntax into one psudoterm (PSUT)

For term indices, we need to run unification at multiple levels.
So, it is just much more simple to squash all syntax into one type
to make life easier with generic programming libraries.