Started some Semigroup motivation. Fixes #30.

Please take a read, critique, improve. I've put a few simple examples in there. The analyzer might be a bit of a stretch, but it shows off a bit of the power of Semigroups.