User blog:Alemagno12/AMAN vs Lambda Notation, part 1

Here are the definitions.

WIP!