added int type constraints to accomodate hacked SML/NJ;
added int type constraints to accomodate hacked SML/NJ;

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