modelize_properties: check redef types in ATypePropdef