constantがなくなった

Lean 4ではキーワードを整理したらしく。

• constantが廃止されて、axiomのみを使うようになった。
• Πが廃止されて、∀のみを使うようになった。
• assumeが廃止されて、funまたはλのみを使うようになった。
• variables は廃止。variable が使える。
• parameter, parameters って使えたっけ？ ともかく廃止（使えない）。