version 6/080508 by Mikael Segercrantz
The extension defines a kind of value called shown type used on regions. It is highly recommended that it not be used by anyone.
The extension also defines a region called the empty region. It is used by the extension to manage looking through regions.