Zero is a systems programming language designed for agents, featuring explicit effects, predictable...