(letrec-exp
  (proc-names (list-of symbol?))
  (idss (list-of (list-of symbol?)))
  (bodies (list-of expression?))
  (letrec-body expression?))