free monoid with involution