Added linear lambda translation for function application
Merged function for lambda calculus translation