Added letrec syntax. Fixed a bug in lambda application which left the result type variable bound.