Helper functions for Syntax.

These are delayed here to allow some time to bootstrap Array.

def Lean.Syntax.setArgs (stx : Syntax) (args : Array Syntax) : Syntax

Updates the argument list without changing the node kind. Does nothing for non-node nodes.

def Lean.Syntax.setArg (stx : Syntax) (i : Nat) (arg : Syntax) : Syntax

Updates the i'th argument of the syntax. Does nothing for non-node nodes, or if i is out of bounds of the node list.