[WIP] Simply typed λ calculus

Alright, here goes.
“if either one errors, return that, otherwise unpack & continue thus…”