Fix pp for lambda terms
Adding Type Lambda / App ideas.

Not working yet.