parser: fail upon duplicate declarations#24

hargoniX merged 1 commit intomasterleanprover/lean4export:masterfrom

joachim/parse-no-dupleanprover/lean4export:joachim/parse-no-dupCopy head branch name to clipboard