pub fn builtin_type(x: Val) -> IStr