Prevent re-defining identifiers. We can always re-allow it later