generator now generates the enum for the pages within the navigation
also decided to implement the observer pattern "manually", as this
eliminates the need for typecasts in the navigation