pub const TYPE_INTERVAL: BuiltinType<NameReference>;