core-spec: Simplify the handling of LetRec