fix compilation errors in Counter
change TestRunner signature (remove type t and val make)
reimplement Test for hide type 'state t structure
hide type t structure in Counter
add name to TEST_FIXTURE