What kind of note do you have in mind? Should we just have an inline that
says that only univariate polynomials are supported? And that test also
provides what I like to call "a self-correcting test." We add that test and
put a note that says "If this fails then modifications made to
`free_symbols` must be changed."