Τακτικοί τύποι
Οι τύποι integer, boolean και char ονομάζονται
τακτικοί τύποι (ordered types) διότι
ορίζονται σε πεπερασμένες διατεταγμένες ακολουθίες.
Στους τύπους αυτούς μπορούμε να ορίσουμε τις παρακάτω συναρτήσεις:
-  succ
-  Επόμενη τιμή
-  pred
-  Προηγούμενη τιμή
-  ord
-  Σειρά στην ακολουθία