Rename to 'algebra'; add magma and monoid
Add documentation