type TravelDestination devtools/src/travel.ts:699 Type{ kind: 'system'; system: SystemId } | { address: UniverseAddress; kind: 'body'; system: SystemId; text: string }