pub const TYPE_NUM_RANGE: BuiltinType<NameReference>;