mostGeneralVariableMeta

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