Monadify typecheck/TcMatches: use return and standard monad functions