Each type has a next higher type, analogous to the notion of successor in Peano arithmetic.
Κάθε τύπος έχει έναν αμέσως μεγαλύτερο τύπο, παρόμοια με την έννοια του διαδόχου στην αριθμητική Peano.