Tidy up and haddock some more
Remove duplicate hypotheses
Export linearisation of terms
Add a bit of introduction
Add a README