[WIP] Simply typed λ calculus

Alright, here goes.
For those keeping score at home: `.Right(Bool)`.