[Type System Summary]

The Synopses on the Type System

Types are optional

Meta-object

Features

There are also features of various specific types, and mention of some specific types.

Classes