So, there's no longer any distinction between a "seen" and "unseen" node?  If you push a node to the stack (but don't load it), what is it called?  At that stage, it won't necessarily have any type data associated with it, I guess, so it's still unknown.