* Rename the annotation property storing the local tag to `$tag`

This property previously had a "$$" prefix instead of the conventional
single "$" prefix for local-only properties of annotations for
historical reasons.

* Remove explicit copying of the `$tag` property in Object.assign() calls

The `$tag` property is now enumerable.