Support mutually recursive types

Currently mutually recursive types such as this one are unsupported:
```ocaml
type odd = Odd of even option
and even = Even of odd option [@@deriving irmin]
```
However, it's possible to encode these types using the `mu2` combinator presented by Irmin. We should support deriving such encodings.