Parsing

Adds a parser for λ terms, true, false, and if/then/else.