updated ROOT file; regenerated code
moved admissible_input back to SingleGoodAuction, as we have a concrete definition for it; improved documentation
TODO
revised definitions of relational and predicate form
redefined wrt. new relational and predicate form patterns for combinatorial auctions; first, superficial proof of left-totality