1. Defining order types