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