Worked on documentation of case expressions.
Changed opinion about EmptyCase.
Included CPM.hs in DPM.tex.
A sudden realization: we don't need the renaming step.
This is the data structure which will save us from renaming.
Fixed CPM.hs to properly deal with pattern-local bindings.