Decentralizing Hats with a protoDAODecentralizing Hats with a protoDAO