A Contractarian Defence of Ideal Proportional Representation