Pure in-app navigation implemented in Elm (URL become a thin wrapper instead)

The model owns where the app is, and one wrapper around update keeps the URL in sync