free monoids