A powerful (& typed) zero-dependency primitive to help build other synchronization primitives like locks, semaphores, events, or barriers
