redApp env (EVar (Prim p a)) es 
                                = return (redPrim env p a es)
redApp env (EVar (Prim p a)) es 
                                = return (redPrim env p a es)
redApp env (EVar (Prim p a)) es 
                                = return (redPrim env p a es)