Listed all spec-ed event and message types