List of simplifications we should perform

[Richard Kenner]

A quick look shows that we do nearly all (or all) of these.

I'll try to take a closer look at this list this week and see if any
are missing (and add them!)