The Three Types of Irony