Redefining Builtin Functions

Attempting to redefine a builtin function results in an error.

Rationale

While this could be implemented, there is no mention of it in the specification and it would complicate the implementation with no obvious benefit.