print names of functions as simplification progresses
print names of functions as simplification progresses

darcs-hash:823e871bdf72150703c2778cec19da6157b69321

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