9.1 Introduction: order types