Types and variables