pub fn BUILTIN_TYPE(x: VALUE) -> value_type