Enable mutation of Pairs.  Add further test cases to demonstrate bounded
wildcard behaviour.