no need for type arguments with "xxx_tags_heavy" type system
no need for type arguments with "xxx_tags_heavy" type system

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