Added first two linear lambda calculus translation