Bugfix for flipped qualifier/type print ordering
Initial version of effect-aware dead code elimination. Added constant folding for strings. Bugfix for skipping effect normalization on lambdas.
Merge branch 'master' of github.com:DaMSL/K3-Core