Improve description of Envelope in Haddock documentation

[byorgey]

Currently, the explanation of Envelope in its Haddock documentation is horrible: it uses a bunch of math and then insults the reader. The reference to Galois connections should be taken out and the description improved to be more readable (while still being technically accurate). One starting point might be the explanation of envelopes in the monoids pearl.