sym => : interactive mode for scalable verification

We are building sym =>, a new interactive tactic mode for writing scalable verification proofs in Lean. It extends grind's interactive mode with tactics from the Sym framework — our infrastructure for symbolic manipulation that achieves linear scaling on verification tasks where traditional approaches break down.