HALNavigator and OrphanHALNavigator now implemented as subclasses