Cleanup of haddock markup.
Removing old (bit rotted) demo.
Adding README
Removing semigroups - we do not use them.