Is the compiler as packages proposal documented somewhere ? I'm especially interested in knowing how it differs from the opam we know now. And is it already implemented ? Daniel