TYPED_INTERNALS serves as a gateway between the typed ideal world of Eiffel objects and the untyped
physical world of raw memory, files on disks, streams on networks...
Optionally, an object of type E_ can be attached to that a TYPED_INTERNALS[E_]. The TYPED_INTERNALS[E_]
object can then be used to inspect and change the values of the attributes of the attached object. For
instance, a STRING could be attached to a TYPED_INTERNALS[STRING]. The TYPED_INTERNALS[STRING] could
then be used to get or set this STRING's attributes.