A class includes fields to support values of properties in preallocated
memory space and an option data structure which supports, in instances of
the class, references to option values without preallocation of memory
space. The field and option values are accessed in an instance object of
the class using expressions of the same syntactic form. During
compilation, the compiler checks the type of an option value against a
type description within the option data structure. During compilation, a
method call to an object is encoded without regard to the form of the
option data structure. When an option value is changed, a change handler
identified by an option binding of the data structure is processed. That
option binding may be located by first searching a mapping data structure
for a previously computed mapping to the option binding or by computing
the mapping to the option binding.