Fix paste-o.
Fix paste-o.
Fix paste-o.
Point TypeCheckerValidTest at more systematic tests.