deleted, as we never really got anything done here, and as the foundations for formalising auctions will have changed soon anyway
create GitHub issues from source code TODO's