Completed transitoin to MonadSafe-based implementation
Updated documentation
Updated documentation
Updated documentation