Use an ordered data structure for Pos.neigbors, ensuring determinism