Baisic Strata Analysis

All tests pass.

See tests/pos/Strata.hs for an example where `length $ repeat x` creates a stratum warning if run with `--strata` flag.

The strata analysis is not complete (only check the Strata test) but this branch has modifications in many files.
I suggest merging now, as further modifications should be local.