Major cleanup.
* put analyses in a module.
* merged vectorization and sequentialization.
* simplified normalization and backend.