First stab: redo the interpret function in Control.Monad.Operational
to not use views.  Not sure if best way.
Add Control.Monad.Operational.Simple
Provide 'toFree' function in Control.Monad.Operational, and refactor
'interpret' to use that.
Mostly documentation changes, but some minor code stuff may have slipped in.