Function voile::check::unify::unify_neutral_variants

fn unify_neutral_variants(
    tcs: TCS, 
    a_fields: &Variants, 
    b_fields: &Variants, 
    a_more: &Neutral, 
    b_more: &Neutral, 
    kind: VarRec
) -> TCM