From an offline conversation with an Ion Schema user.
Here is a capability I definitely do need: an ability to take an ISL-defined type and determine its Ion-primitive type. For my use case, we don't want types that would admit multiple representations (e.g. string OR int). This is somewhat related to schema compatibility, because many systems would not like a schema change that changed representational types.
From an offline conversation with an Ion Schema user.