Αρχής αφαίρεσης υποτύπων (προγραμματισμός)