lean syntax: add coinductive, remove duplicated mutual, remove override
lean syntax: add coinductive, remove duplicated mutual, remove override

leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean