Provide an additional typed routes type for statically defined routes

[wyozi]

Goals

Provide a global type, something like RoutesDefinition that contains static and dynamic route types except not requiring a generic parameter passed to it, e.g.

type RoutesDefinition = `/products/${string}` | `/products/${string}/info` | `/products/${string}/variants` | `/products/${string}/variant/${string}`

Non-Goals

Background

Current Route<T> requires providing the route key to it as a generic parameter. This makes it difficult to do static lists of typesafe routes, such as

const navigation: Array<{label: string, path: Route}> = [
  {label: "Home", path: "/"},
  {label: "Variants", path: `/products/${productId}/variants`}
]

A workaround would be to pass each navigation here through some helper function that properly infers and type-checks the appropriate constant route string, but it's an ugly workaround compared to just having a slightly less type-safe but much more usable route type

Proposal

With a separate type in addition to the one with the generic parameter