Fix operator precedence
Add if-then and booleans to simply typed lambda calculus