Okej, så en subclass är ett arv helt enkelt.
Och kan man utföra en substitution i det arvet så uppfyller det även kraven för att vara en subtype.
Läste mig till att ett "Private"-arv ger en subclass utan att vara subtype.
Har dock svårt att se vad man tjänar på detta mer än att återvinna kod.