Types for Intention Events