monoid by generators and relations

Starting to do it by creating a relation (hrel) on the set of words
so the quotient set will be a monoid; i.e., the relation incorporates
associativity and unit.