Rename the Event* types to Procedure*

The name Event was chosen because it often appeared as a response to an
event, but it does not actually represent an event. The family of types
has been renamed to Procedure, as this reflects their status as objects
which take some input and produce no output.