Types and values