The code is now propery split over several files, with cross-imports and
a Dune build system ready for whatever the future holds.