monoid3: STS Unavailable

monoid3 defines the following Names, but STS signatures are not currently available.

• cyclic_monoid
• maps_monoid
• left_regular_representation
• automorphism_group
• direct_product
• direct_power
• free_monoid
• strings
• emptyword
• concatenation