Basic parser/reducer for the λ-calculus