typecheck: Don't warn about "redundant" TypeError constraints