public class Navigation
Provides a generic utility class that can be used to draw a navigation.
It specifically does this by providing an iterator over navigation elements.
A navigation element reflects a page and can have different Navigation.Element.Types.
Note that the same page might be returned 4 times for the different element
types. this offers maximal flexibility when drawing the navigation.