Minor typos.
Added a second version of monad framework based on namespace import.
Merge branch 'master' into viboes_interface_change
Merge pull request #26 from ptal/viboes_interface_change

Minor typos.