You are combining two types, of course it will show up. If you want to change this, you have to create the Bottle type without combining the Cup type, basically something like this:
export type Bottle = {
Filled: boolean,
Closed: boolean
}
there is a way to change that rather than non-exporting the cup type
or I guess that may be possible with the keyof<> keyword of the New Type Solver [Beta] but I haven’t used it since it made studio crash whenever I type something