Some minor fixes and typos.
Added the monad laws and external reference.
Required header for function.
Added inverse of >>= and two minor fixes.
Fixed certain lambdas capturing by ref when they shouldn't.
Expand either's type tagging to accoutn for limboed (moved) instances.
First draft of a more complicated example.