let ocaml abstract code be as similar to ocaml as possible
Identify traditional and record like Erlang maps