Implement new beast::tagged_integer:
A tagged_integer is a class that behaves like a constrained standard integral
type:

* It supports a subset of operations that integer types support.
* It can be associated with a tag (typically a struct) so that different
instances are not silently interoperable with each other.