**Is your feature request related to a problem? Please describe.** if there is a "oneof" referencing 2 types, it would be nice if both could extend a common *sealed* interface and that the oneof types both are records.