OASIS -> topkg, atdgen -> ppx_deriving_yojson, stil WIP.
Simplify module Types, JaneStreet style.