Add some test cases for the type-checker.

Still more to go (in src/test/resources/type_error/TODO).