Make argument of variants optional in the source language

In OCaml, variants may have no argument, for instance in the type declaration type 'a option = None | Some of 'a, None has no argument (note that this is different than having unit as argument). This can be used to improve the internal representation of the variant. We make this feature available for the source language of inferno.