add a test for let-values
make LetCont not use a counter, fix LetRecCont