Part II. Types and Operations