[cvs-nhc98] patch applied (yhc): Move RecursiveLet into the Invariant namespae