Made ConvExpr return a tuple

Minimal change to allow returning of tuple, so that I can then split the
return values of recursive functions into creation and initialization.
Changed implemetation of "let rec"

Simplified let recs to use "State" infrastructure
Removed unused & commented out code
Moved the letrec from env to parameter