{motive : Lean.IR.SimpleGroundArg → Sort u} →
  ((val : ℕ) → motive (Lean.IR.SimpleGroundArg.tagged val)) →
    ((n : Lean.Name) → motive (Lean.IR.SimpleGroundArg.reference n)) →
      ((s : String) → motive (Lean.IR.SimpleGroundArg.rawReference s)) → (t : Lean.IR.SimpleGroundArg) → motive t