Simplified 'Base' monad machinery

Now you can 'liftIO' finalizer actions and get a simpler type constraint.