Use type-driven code generation to get rid of boilerplate (see ppx_deriving):

• yojson for output of domains values (see Possibly excessive functions in Printable.S #210)
• show for output of domains values (see Migrate from CIL's Pretty to OCaml's Format #213)
• eq, ord for domains (PR Reduce equal & compare boilerplate using deriving eq & ord #227)
• hash: ppx_hash exists, but depends on and builds around Jane Street Base hash stuff, which conflicts with our base.ml..., and it doesn't seem to support all the primitive types eq and ord derivers do (e.g. char); alternatively implement own more direct deriver https://github.com/sim642/ppx_deriving_hash?
• relift (Add PPX derivers for lattices of tuple and record types #1095)
• create ppx drivers for own ideas (e.g. names/lifting of modules)
  • Derive Product-, Record-domain (ppx-lattice branch, PR Add PPX derivers for lattices of tuple and record types #1095)
  • Derive Flat- and Chain-Domain from variant types
  • Derive name () from Domain name
  • Derive Lifted functions