Make auction SUBSET AUCTION

Also made items register to the user as an auction is created - not in a
separate event.
Still need to fix a conflicting invariant.