pub fn nav_stack<K, S>(path: S, root: impl Piece) -> NavStack<S, K>where K: Route, S: Binding<Vec<K>>,