🥡 [Meta] Turn components into reusable packages

[favonia]

trafficstars

To speed up the development of the next generation of cooltt, I propose turning isolated components into more OCaml packages ~~with anime-inspired names~~. Here are some ideas:

• [x] Namespaces: yuujinchou
  • [x] RedPRL/cooltt#319
  • [x] https://github.com/RedPRL/yuujinchou/issues/60
• [x] Unit resolution: bantorra
  • [ ] RedPRL/bantorra#62
  • [ ] RedPRL/cooltt#68
• [ ] Pretty printing with precedence
  • [ ] RedPRL/cooltt#331
• [ ] LSIF output @TOTBWF
  • [ ] RedPRL/cooltt#321 @TOTBWF
• [x] Cofibration RedPRL/cooltt#356
  • [x] Persistent union and find
• [x] Bwd RedPRL/cooltt#350
• [x] Universe levels mugenjou
• [ ] Visualization
• [ ] Record stuff

As a general rule of thumb, perhaps new features should strive to become standalone libraries.