add more notations to ND rules

...thhub.info/MitM/Foundation/$Description$Operator.omdoc.xz

...http..mathhub.info/MitM/Foundation/$Finite$Types.omdoc.xz

...p..mathhub.info/MitM/Foundation/$Inductive$Types.omdoc.xz

...p..mathhub.info/MitM/Foundation/$Informal$Proofs.omdoc.xz

...http..mathhub.info/MitM/Foundation/$Int$Literals.omdoc.xz

content/http..mathhub.info/MitM/Foundation/$Lists.omdoc.xz

...ent/http..mathhub.info/MitM/Foundation/$Literals.omdoc.xz

content/http..mathhub.info/MitM/Foundation/$Logic.omdoc.xz

content/http..mathhub.info/MitM/Foundation/$Math.omdoc.xz

...ent/http..mathhub.info/MitM/Foundation/$Matrices.omdoc.xz

...ent/http..mathhub.info/MitM/Foundation/$Metadata.omdoc.xz

...http..mathhub.info/MitM/Foundation/$Nat$Literals.omdoc.xz

....mathhub.info/MitM/Foundation/$Natural$Deduction.omdoc.xz

.../http..mathhub.info/MitM/Foundation/$Option$Type.omdoc.xz

...ttp..mathhub.info/MitM/Foundation/$Product$Types.omdoc.xz

...ttp..mathhub.info/MitM/Foundation/$Real$Literals.omdoc.xz

...nt/http..mathhub.info/MitM/Foundation/$Sequences.omdoc.xz

content/http..mathhub.info/MitM/Foundation/$Strings.omdoc.xz

...nt/http..mathhub.info/MitM/Foundation/$Subtyping.omdoc.xz

...http..mathhub.info/MitM/Foundation/$Trigonometry.omdoc.xz