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
hvr/jhc,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror