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