redMatch env a (ELam te e)                  = ELam te (redMatch (addArgs env (dom te)) a e)
redMatch env a (ELam te e)                  = ELam te (redMatch (addArgs env (dom te)) a e)
redMatch env a (ELam te e)                  = ELam te (redMatch (addArgs env (dom te)) a e)