added wordsMonoids + tests