Address review comments

Disallow negative arguments to embedded counter
Document the map semantics