Add some tests for type checker (run by hand for now).

There are now some tests for the type checker that can be run by hand,
to see if compilation succeeds or fails. One of the bad ones passes for
the moment. This will no longer be a problem once we start recording
type errors.