Types, Variables and Arithmetic