[WIP] Simply typed λ calculus

Alright, here goes.
So I have two `Either`s and I want to merge them into a `(.Right, .Right)` `Either`. That’s what this does. It felt sort of cartesian producty (although it’s probably closer to bind or something?), hence the operator. I dunno, this was not a great idea :smile: