How to serailize macro call, distinguish from transclusion?

[linonetwo]

I'm trying to fix https://www.npmjs.com/package/wikiast-util-to-wikitext for possibly https://talk.tiddlywiki.org/t/relink-macro-backreferences-not-working-in-v5-3-0/7596/7?u=linonetwo

I get this ast from

\\define lingo-base() $:/language/ControlPanel/Basics/

<<lingo Title/Prompt>>

[{
    type: 'set',
    attributes: {
      name: { name: 'name', type: 'string', value: 'lingo-base' },
      value: { name: 'value', type: 'string', value: '$:/language/ControlPanel/Basics/' },
    },
    children: [{
      type: 'transclude',
      start: 55,
      end: 77,
      attributes: {
        '0': { name: '0', type: 'string', value: 'Title/Prompt', start: 62, end: 75 },
        $variable: { name: '$variable', type: 'string', value: 'lingo' },
      },
      orderedAttributes: [{ name: '$variable', type: 'string', value: 'lingo' }, { name: '0', type: 'string', value: 'Title/Prompt', start: 62, end: 75 }],
      isBlock: true,
    }],
    params: [],
    isMacroDefinition: true,
    orderedAttributes: [{ name: 'name', type: 'string', value: 'lingo-base' }, { name: 'value', type: 'string', value: '$:/language/ControlPanel/Basics/' }],
  }]

where the macrocall part

{
  type: 'transclude',
  start: 55,
  end: 77,
  attributes: {
    '0': { name: '0', type: 'string', value: 'Title/Prompt', start: 62, end: 75 },
    $variable: { name: '$variable', type: 'string', value: 'lingo' },
  },
  orderedAttributes: [{ name: '$variable', type: 'string', value: 'lingo' }, { name: '0', type: 'string', value: 'Title/Prompt', start: 62, end: 75 }],
  isBlock: true,
}

used to be

{
  type: 'macrocall',
  start: 55,
  params: [{ type: 'macro-parameter', start: 62, value: 'Title/Prompt', end: 75 }],
  name: 'lingo',
  end: 77,
  isBlock: true,
}

So this might have ambiguity, will it also be able to be compiled as {{xxx|xxx|xxx}} style? Or how can I know for sure it is a macrocell?

Also, when render in WYSIWYG mode, we should be able to directly edit the transclude target tiddler. In this example, it means '0' is the target to edit?

[Jermolene]

Sorry to have missed this @linonetwo. As we discussed over at #7866 (comment), I would very much like to have something like a rule property in the parse tree that indicates which parse rule created the node.