modelize: introduce `AAttrPropdef::has_value`