adding support for unique counters (using sets)
increment functionality for unique counters

adding decrement functionality for unique counters

adding find method for unique counters

scripts for unique counters

adding support for unique counters (using sets instead of bitmaps)

remove whitespace from model spec

var name changes