Cleanup and normalize counter exports and comments.  Switch to Unboxed as default.