A PLT Redex model of the lambdaLVar language