A typed event emitter, typed promise utilities, abortable work and async generators: J1's patterns with the types as the subject.