Proportionality in multiple dimensions to design electoral systems | Synapse