Hi Yago,

Let me do my best to address your points:

- The syntax

The syntax I used is lambda calculus; lambda calculus consists of a language of **lambda terms**, which is defined by a certain formal syntax, and a set of transformation rules, which allow manipulation of the lambda…