More work on type inspections

Enabled two more tests.