Remove alternate form of copyright notice for main modules.

Redundancy for the sake of consistency is a reasonable payoff.
Move copyright notices section to top.
Use exactly one LANGUAGE pragma per extension.
Various fixes and additions to memory leak section.
Note about bad style in intermediate states section.
Rename pure code memory leaks section.
Reword mvar section.