2. Variables and types