Initial monoid definition and implementations
Updated readme to include at least a bit of information.