fix: letrec with multiple defs. efficiency: test for no defs in elaborate instead of ev-letrec.
fix: letrec with multiple defs. efficiency: test for no defs in elaborate instead of ev-letrec.

darius/squeam,darius/squeam