Move the Uniqueness axis into the Monadic fragment (#2334)

* negative solver should negate error message

* move uniqueness into [monadic] fragment

* flatten [axis] to reduce indirection

* Some small changes

* Remove fragile matches
* Make product-making functions less general: I
  don't think we'll need multiple different monadic
  products, and the comonadic product is just about
  locality-vs-regionality. Unless we're anticipating
  a similar situation later, I don't think we need to
  over-generalize.

* A few more suggested changes

* axis-wise zap_to_legacy

* revert change; add comment.

* bootstrap

---------

Co-authored-by: Richard Eisenberg <[email protected]>
Co-authored-by: Richard Eisenberg <[email protected]>

Author: riaqn

ocaml/.depend

@@ -2052,6 +2052,7 @@ typing/typemod.cmo : \
     parsing/jane_syntax.cmi \
     typing/includemod_errorprinter.cmi \
     typing/includemod.cmi \
+    typing/includecore.cmi \
     utils/import_info.cmi \
     typing/ident.cmi \
     typing/envaux.cmi \
@@ -2094,6 +2095,7 @@ typing/typemod.cmx : \
     parsing/jane_syntax.cmx \
     typing/includemod_errorprinter.cmx \
     typing/includemod.cmx \
+    typing/includecore.cmx \
     utils/import_info.cmx \
     typing/ident.cmx \
     typing/envaux.cmx \
@@ -2127,15 +2129,15 @@ typing/typemod.cmi : \
     utils/compilation_unit.cmi \
     file_formats/cmi_format.cmi
 typing/typemode.cmo : \
+    utils/warnings.cmi \
     typing/mode.cmi \
-    utils/misc.cmi \
     parsing/location.cmi \
     parsing/jane_syntax_parsing.cmi \
     parsing/jane_syntax.cmi \
     typing/typemode.cmi
 typing/typemode.cmx : \
+    utils/warnings.cmx \
     typing/mode.cmx \
-    utils/misc.cmx \
     parsing/location.cmx \
     parsing/jane_syntax_parsing.cmx \
     parsing/jane_syntax.cmx \
@@ -2294,7 +2296,8 @@ typing/typetexp.cmi : \
     typing/jkind.cmi \
     parsing/jane_asttypes.cmi \
     typing/errortrace.cmi \
-    typing/env.cmi
+    typing/env.cmi \
+    parsing/asttypes.cmi
 typing/uniqueness_analysis.cmo : \
     typing/types.cmi \
     typing/typedtree.cmi \