Section 24.2
$typeof()

In 24.2, REPLACE

The $typeof system function returns a type derived from its argument. The data type

WITH

The $typeof system function returns a type derived from its argument. For example, the The data type

AND in the first sentence of the second paragraph change $typeof into Courier

AND REPLACE

In all contexts, $typeof together with its argument can be used in any place an elaboration constant is required.

WITH

In all contexts, $typeof together with its argument can be used in any place an elaboration constant can be used is required.

AND update BNF accordingly.