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