Make ExTypeTest test suite fail when typechecking finds an error

[turion]

Currently, mix test succeeds, regardless of whether the files read from ExTypeTest typecheck or not. This only ensures that the typechecker doesn't crash, but it doesn't ensure that it stops typechecking correctly.

See also #19.