Update readme.
linear.
Cleanup.
Merge branch 'master' of https://github.com/diagrams/diagrams-pgf
Merge branch 'new-stuff'
Generalise for any Monoid' m.