properties: improved invalid type definition detection