Merge branch 'feature'
Fixed domonad and then.
Modified >>=.
Use Namespace Context.