Modules.- Data types.- Semantics.- The library.- Notation.- Lexical considerations.- Types, type generation, and type specifications.- Scopes, declarations, and equates.- Assignment and invocation.- Expressions.- Statements.- Exception handling and exits.- Modules.