Corrected package dependencies; initial sketch of updated polymorphic navigation