[WIP] Simply typed λ calculus

Alright, here goes.
Constructs a lambda application. This should actually probably be `<|`.