A front-end router with support for type-safe URLs