Added notes on either monoid as interesting type, also redesigned regex again based on regexes as a ring