fix monoid definition, remove obsolete version bounds#1

kostmo wants to merge 1 commit intoreedrosenbluth:masterreedrosenbluth/hseq:masterfrom

kostmo:masterkostmo/Djembe:masterCopy head branch name to clipboard