Monadify typecheck/TcRules: use do, return and standard monad functions