Simplify step operator and associated types
Dijkstra API design