The purpose of putting this in Type is that this metadata can be used for groups as well as primitive types. We decided not to add the decimal annotation on a group in PR-84, but this is required to support that case. My reasoning is that type annotations can be used for both groups and primitives, so we should attach the metadata to the annotation rather than the primitive.