Learning more about the limitations of ocaml, for example, variants needs to have an explicit type.
Do not use erlware_commons right now
More union samples to see if I can inline them in ocaml
handling records