Adds support for Counters inside the Execution Monad.

See kmeans for an example using counters.
this comment were confusing or incompl