Move let and lambda operator construction to parsing phase. Fix type unification.