Flesh out the documentation of 'reifyConstraint'
Haddock formatting