Move double auction back to auctions
Notation conventions, basic p2p exchange