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.