ski as function
lambda calculus grammar
lambda calculus to ski