I think my original intent here with "proper subtype" was to distinguish from merely "has prefix". For "strictly fewer inhabitants" I would have said "strict subtype".