pub fn categorize_type(ty: &Type) -> CategorizedType