X Design Notes: Unifying OCaml Modules and Values