Merge: modelize_property: Promote `refine-type` to an error