Decentralizing Hats with a protoDAO