Add tests for the several type-related problem cases.