r4522: PROPERTIES are now handled at the typedef level