Fix problems compiling LetTuple, parametrize instrumented reads