Encore: A new type of TypeScript framework