mathlib3

151dcf11 - unify_equations: fix a bug with generalised inductive types