Change monadsyntax to NOT change global grammar on load

Instead, users must explicitly call {temp_,}add_monadsyntax to turn do
.. od and the <- syntax on, along with the pretty-printing and
augmented parsing.

Show that the Cont(inuation) monad is possible

Preliminary doodlings really