pub fn convert_model_partial_base_type(
    env: &GlobalEnv,
    ty: &Type
) -> PartialBaseType