Type.typ_match now uses Vartab instead of association lists.
Type.typ_match now uses Vartab instead of association lists.

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