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