Move type argument tests to the grammar checker.