Variables are names which can be bound to a succession of values by means of assignment instructions, get instructions and iterators.
Variables can be introduced implicitly by assignment instructions, get instructions and iterators, as well as explicitly by variable definitions.
Variables are associated with types and may be bound only to values belonging to the types they are associated with.