refactor: deriving DecidableEq to use termination_by structural#4826

nomeata merged 3 commits intomasterleanprover/lean4:masterfrom

joachim/decEq-structuralleanprover/lean4:joachim/decEq-structuralCopy head branch name to clipboard