serialization: generate ASuperPropdef instead of ASuperclass