Make monad.m work.

This is only half of the transition though, lot's of examples and stuff need to
be rewritten.