Monadify simplCore/SetLevels: use do, return, standard monad functions and MonadUnique