add type annotations to make SML happy (cf. ec6187036495)
add type annotations to make SML happy (cf. ec6187036495)

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