math.factorials: more factorial words.
sets.extras: adding symmetric-diff and proper-subset?.