Change the type of constructors in the parsing AST (elab.lem)

Now a constructor name is either SOME of a real constructor, or NONE to
indicate a tuple.  I updated cmlPtreeConversionScript to always put the
SOME on, except in one case where it gave (Short "") and I changed it to
NONE.

Also testing the inferencer.