Added implementation to finish regexes. Need to figure out how to layer last monoids effects.