Incentive compatible allocation and exchange of discrete resources | Synapse