Code generator now adds type constraints to val declarations (to make SML/NJ happy).
Code generator now adds type constraints to val declarations (to make
SML/NJ happy).

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle