Added t-get. Changed translation for lambdas.

Old translation produced t-lambda for a lambda expression. This worked only
when the lambda was the argument to a fold, so that is special-cased. The
regular translation creates a t-lambda and applies it to the argument type to
compute the return type for an arrow.