Define irony and list the three types