Contains classes representing abstract datatypes (ADTs).