* new solver

* better printing

* remove solver_mono from mode_intf

* document solver_polarized

* address some comments

* address more comments

* rename "constrain" to "zap"

* rename constrain_legacy

* make depend

* make fmt

* remove _intf.ml

* use comonadic in env

* Add Allow_Disallow, restricting types of Obj.magic

* Fix type errors discovered in previous commit

* Use Allow_disallow in more places

* show soundness of allow_disallow

* Prevent chance of forgetting the "sound" version

* minor changes

* Remove the Solver_polarized.morph type (#1)

* adjust comments

* remove address_of

* more comments

* make [log] non-optional

* better comments

* More fixes

* bind temp results

* add C.eq_morph

* set_append_changes

* compare Value with Alloc

* more comments

* warn about infinite lattices

* Small simplification to set_obj

* example of variable cycle

* say "uniqueness_op" because monotonicity

* rename set to lift

* exhaustive match

* inline unusual helper functions

* fix rebase issues

* Small simplification

* some renaming and comments

* more comment

* remove un-needed assertions.

* fix chamelon

* make fmt

* add file header comments

* exhausive match

* use ref for morph counting

* Reorder in maybe_compose

* switch from lift to map

* avoid caml_curry

* dedup in join and meet

* better error message

* fix tests

* comments

* inlining newvar_above/blow, and more uncurrying

* remove ?logging

* make sure arity is correct and avoid closure allocation

* remove morphism counting

* force inline to avoid caml_applyX

* address comments

* rename and phy eq in eq_morphvar

* Small improvement to [eq_morphvar]

* better comments about lattices

* don't hint to use exclave when useless

* fix type_argument

* comments about inner_alloc_mode

* magic for eq_obj and eq_morph

* allow/disallow for Value.List

* Add comment about actual vs expected

* comment mode_argument

* eq_morph doesn't take dst

* Magic_equal

* better comment about adjunction

* abstraction in ctype

* comment close_over and partial_apply

* fix eta expansion bug

* Alloc.Const.t is record, not tuple

* Simplify interface to [close_over]

* Generalize the type of close_over

* fixed definition of partial adjoint

* better comment about partial adjoint

* even better comments

* make fmt

* bootstrap

---------

Co-authored-by: Richard Eisenberg <reisenberg@janestreet.com>
Co-authored-by: Richard Eisenberg <rae@richarde.dev>