Add a TypeCheckTest.java to the "compile" category.

These are all tests from src/test/resources/type_valid combined into
one. Thought we could use that as one of the tests we send it.