Open
Description
As discovered in #2925, TermLiteral
doesn't strip ticks, even though they're completely useless for the class. We could change every instance to be careful around ticks, but it's probably a better idea to rename termToData
to termToData#
, while introducing:
termToData = termToData# . stripAllTicks