Destination Type's annotation value can be other than 'byte'

In Section 5.1, the annotation value type for noting a destination type is described as a byte. It should be allowed to be any integer type.