Neuman Vong: The circuit as a point-free general model of computation