Got rid of expression/type val separation for types.

Now there's just types that get substituted when type lambdas get applied.
If substitution works correctly...