Variables and type inference