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