We consider a general equilibrium local public goods economy in which agents have two distinguishing characteristics. The first is 'crowding type,' which is publicly observable and provides direct costs or benefits to the ...