[cvs-nhc98] patch applied (yhc): Add reduceRecursiveLet, alongside removeRecursiveLet, and isCoreLetRec