Variables, Types, and Zero Values