Simplify: Let the optimizer find "direct" loads and stores.

The code generator can add casts to aid the optimizer.
Replace some simple "do" sequences with ">>" operations.