Adding Mapping arbitraries

Food for thought - if you use `must beEmpty` or something like that you'll get a better error message if this fails /whatever