Convert EventStream Paper Streams to Users

Use empty lines between defs.