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