pub fn is_type_compact(ty: &Type<PortableForm>) -> bool