History handling, StringValueCounter added

a string version of NumericValueCounter was added. History handling in
NVC and SVC has been formalized and improved.