assoc_consts and assoc_types now check number of arguments in template.
assoc_consts and assoc_types now check number of arguments in template.

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