Function conv_prim_prop

pub(crate) fn conv_prim_prop(
    genv: GlobalEnv<'_, '_>,
    prim_prop: &PrimProp<'_>,
    wfckresults: &WfckResults,
) -> QueryResult<PrimProp>