Cambios en constructoras Negation y ExpExponential