some more types, revealing some errors