redMatch env a (ELet bs e)                  = ELet bs (redMatch (addArgs env (bvars bs)) a e)
redMatch env a (ELet bs e)                  = ELet bs (redMatch (addArgs env (bvars bs)) a e)
redMatch env a (ELet bs e)                  = ELet bs (redMatch (addArgs env (bvars bs)) a e)