VALUE_TYPE_UNDEFINED means that a value is explicitly undefined, equivalently to what was first represented with is_undefined. VALUE_TYPE_INVALID will be introduced for values that arise from invalid programs.