Feature/ast and defs

[DaQuirm]

Primitive definitions (very rigid syntax)

name = expr
main = top_level_expr

and a few examples (see .lambda files)

Known issues: this allows symbolic recursion which won't terminate