Proposal to prevent duplicate definition

On a big project I'm using pascal script for scripting, I've been bitten several times by a type beeing redefined (Via AddTypeS) as something else, Leading to AV. I propose to add an option on the compiler to raise errors each time you try to redefine an existing type / function / constant. The option is set as to be backward compatible (Duplicate definition are allowed by default).