1.3.1. Subtypes of imperatives