Function type_name 

pub fn type_name(id: u64) -> String

类型标识的可读名字 —— 让「类型不符」的报错能指出是什么类型,而不是两个数字。