Adds support for Counters inside the Execution Monad.

See kmeans for an example using counters.