Typed Event Structures and the pi-Calculus: Extended Abstract