A.3.1 Simple types A.3.2 Named types A.3.3 Datatypes A.3.4 Subtypes A.3.5 Channels A.3.6 Closure operations