AUTHOR: David Kohel, 2005-09-29
Elements of free monoids are represented internally as lists of pairs of integers.
The module monoids.free_monoid_element defines the following classes: