Monadify simplCore/SimplMonad: use MonadUnique instance instead of custom functions