Testable Restrictions of General Equilibrium Theory in Exchange Economies with Externalities