Add t-forall and notion of type variable bindings, remove id fun