Simple ADTs with a single constructor are records#1146

Halbaroth merged 2 commits into

OCamlPro:nextOCamlPro/alt-ergo:nextfrom

Halbaroth:fix-make-adtHalbaroth/alt-ergo:fix-make-adtCopy head branch name to clipboard