Force unicity of axioms names

[iguerNL]

I think this is already the case for goals name (when we have more than one goal per file, To be checked), but not for axioms:

• forbid having more than one axiom with a given name: this could be easily done during type-checking.