changed the generated OCaml code to make it typecheck.
changed the generated OCaml code
to make it typecheck.

Need to fix the body of indexed inductive types.
The indices are supposed to be replaced with unit all places, EXCEPT in
the body of the definition of the inductive type.
In the body, the dummy type variables should be used.

Also, need to put 's before type variables.

A-Manning/FStar,aa755/FStar,msprotz/FStar,A-Manning/FStar,aa755/FStar,A-Manning/FStar,FStarLang/FStar,hoheinzollern/FStar,hoheinzollern/FStar,hoheinzollern/FStar,FStarLang/FStar,YaccConstructor/FStar,aa755/FStar,msprotz/FStar,msprotz/FStar,FStarLang/FStar,aa755/FStar,hoheinzollern/FStar,MallabaevAzamat/FStar,YaccConstructor/FStar,MallabaevAzamat/FStar,YaccConstructor/FStar,YaccConstructor/FStar,MallabaevAzamat/FStar,MallabaevAzamat/FStar,msprotz/FStar