Duplicate definition for x

Just as each variable can only have one type signature, so each variable can only have one definition. This is quite different than some other languages. See the documentation about definitions for more information.