Extent declaration

Extents can be defined globally, but also in the context of a namespace or class definition.

Definition:

extent_dcl := [update_option] extent type_name extent_def ';'