Let’s keep the grammar the same where only one of these is allowed. We shouldn’t have any differences and the v1.1 code generator should do something reasonable for a type that would be a service for v1.0 but a related pair in v1.1. What “reasonable” is, I’m not exactly sure just yet.
I think we’re on the same page then. I think the first approximation of “reasonable” is the inference of two distinct but related types, where the actual meaning of distinct but related is yet to be defined.