Test drive of 'MonadBase' solution
Switched to using type families to implement 'MonadSafe'
Updated documentation
Added 'Exception' and 'SomeException' re-exports