Types: more tests