MkVault monad; parse ... in IsString Route
documentation; slight fix to Route.remaining