Type Alias MsgEmbed

MsgEmbed:
    | { expr: CodeWithInfos }
    | { goal: InteractiveGoal }
    | { widget: { alt: TaggedText<MsgEmbed>; wi: UserWidgetInstance } }
    | { trace: TraceEmbed }