def Lean.Elab.Do.expandDoIf : Macro

If the given syntax is a doIf, return an equivalent doIf that has an else but no else ifs or if lets.

def Lean.Elab.Do.elabDoIf : DoElab