change to monoids
strip newtypes
update documentation
change Text behavior
version bump, comments