[zify] Notation from Zify -> Tify

Author: fajb

theories/micromega/ZifyClasses.v

@@ -1,3 +1,14 @@
 Attributes deprecated(since="9.1", note="Use TifyClasses instead.").
 
 From Stdlib Require Export TifyClasses.
+
+Notation InjTyp    := TifyClasses.InjTyp.
+Notation BinOp     := TifyClasses.BinOp.
+Notation UnOp      := TifyClasses.UnOp.
+Notation CstOp     := TifyClasses.CstOp.
+Notation BinRel    := TifyClasses.BinRel.
+Notation PropOp    := TifyClasses.PropOp.
+Notation PropUOp   := TifyClasses.PropUOp.
+Notation BinOpSpec := TifyClasses.BinOpSpec.
+Notation UnOpSpec  := TifyClasses.UnOpSpec.
+Notation Saturate  := TifyClasses.Saturate.