Adds support for Counters inside the Execution Monad.

See kmeans for an example using counters.
this should just take Any, and not put the .get("counters") inside.