factor out common defns in `convert`.LetRec