Simon Cruanes

use smtlib-utils for files ending in `.smt2`, now that they have datatypes + recfuns

support quantifiers on datatypes, using `undefined`: - `∀x. p x` should become, for bound 3: `p 0 ∧ p (s 0) ∧ p (s (s 0)) ∧ p (s (s...

- **refactor: move functional queue into private, from chan** - **feat: add `Moonpool_fib.Coop_lock`, a cooperative lock** - **move coop_lock to core library, and only on 5.xx**

- **wip: add `moonpool.unix` event loop** - **remove IO channels (better use iostream); make Heap private**

So it can be used in other libraries to spawn threads.

in particular, find with short circuiting semantics: https://github.com/ocaml-multicore/domainslib/issues/89

See https://en.wikipedia.org/wiki/Damerau%E2%80%93Levenshtein_distance , at least for the `edit_distance` part (not sure if the automaton will accept).

install the `.cmt{,i}` files, the improved doc, etc. Also, the API of `remove` changed.