allow printing of transformations as they happen, fix double simplification of letrec rhss, don't omit atomic substitutions right away, clean up code some
allow printing of transformations as they happen, fix double simplification of letrec rhss, don't omit atomic substitutions right away, clean up code some

darcs-hash:e2095993058578250bea854b28cb3f0353de8079

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc