Dump unused shortcuts.
Non-variable terms in a thing.
Free.
Wrong documentation.
Maybe add a free variable to the list of free variables.
Free variables in a move.
Free variables in a dialogue.