Indicates an abstract value type, i.
e. a type that introduces a value table, but can't be used for Value