Token deletion - some elements of the implementation (unfinished). Added the monadic (in STM monad) Set.null. Got rid of item counters.