read the real types off the constant types, rather than using the fake parser types (second step of sugar localization)
read the real types off the constant types, rather than using the fake parser types (second step of sugar localization)

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