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