extend COUNTER interface
extend mocks interface
nested closure fixes
export is_interned as it is useful for assertions
lots of work on the mock framework (full of agents, also helps testing closures)