Profiles › full › package: subtype-refinement