[cvs-nhc98] patch applied (yhc): Make coreSimplify generalise to anything with CoreExpr in therm