Untyped λ-calculus interpreter

Expressions E:

Commands:

In a file commands must be separated with ;.