Add a couple of tests for type checking.

The tests

  TypeValidTest
  TypeInvalidTest

each run on the input files in

  src/test/resources/type_valid
  src/test/resources/type_invalid

The first one expects valid input. The second one expects inputs with
type errors.