started some haskeline
utility parse routines for making Main.hs nicer
factored HM out of Program, made Main say "no."
modes for writing primops
pulled primop stuff out of Monad.hs