Duplicate definition for x

Just as each variable can only have one type signature, so each variable can only have one definition. Once a variable is defined, it is not possible to change its value to something different. This is quite different than some other languages. See the documentation about definitions for more information.