Η προδιαγραφή η οποία καθορίζει πώς ορίζει το χρόνο εκτέλεσης κοινής γλώσσας, χρησιμοποιεί, και διαχειρίζεται τύπους.