pub fn is_primitive(t: &Type) -> bool