Function voile::check::unify::unify_partial_variants

fn unify_partial_variants(
    tcs: TCS, 
    more: Variants, 
    less: &Variants, 
    kind: VarRec
) -> TCM<(Variants, TCS)>