poly_tvars allows recdefs to be made without type constraints
poly_tvars allows recdefs to be made without type constraints

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