added MonadBase MonadTransControl and MonadBaseControl instances
added test case for MonadBaseControl instance
Merge branch 'pr/82'