Wrote eq_inv_add2(l|r)
plact_from_yam is now in Set (vs Prop)
wrote eq_inv_skew_dominate Lemma