Companion

Create a variable type based on the given read and write types.

Create a variable type based on the given content type.

The (instance) type of the most general variable metatype.

The most general variable type.