added a test to check that missing type blocks are reported as exceptions of some kind