Evaluation of type abstraction/application

TODO Forall should have variable renaming still