Before we delve into redesigning a new OPL, we need to ponder its
type particularities--indeed, peculiarities. The current OPL departs
from conventional programming langauges when it comes to types in
several respects. Figure 3 shows the types supported by
OPL.