Roadmap

• format displayed code
• primitive types
• spread operator for tuples (eg. used for concat)
• infer
  • tuples
  • objects
  • functions
• object types
• union types
• mapped types
• distributed union
• indexed access types
• keyof
• template string literals
• object type
• intersection types
• function types
• type variance
• readonly
• optional properties
• built-in types
  • Uppercase
  • Lowercase
  • Capitalize
  • Uncapitalize
  • Extract,
  • Exclude
  • Pick,
  • Omit
  • Partial, Required (needs optional properties)
  • Readonly (needs readonly)
  • NonNullable (needs intersection and object type)
  • Record
  • Awaited, Promise, PromiseLike
  • Parameters, ReturnType (needs function types)
• extends
  • any, unknown, never
  • common sets such as number, string
  • literal types
  • objects
  • union types
  • intersection types
  • function types
• conditional types

Feel free to comment which features would you like to see first.

Also let me know if there's something you'd like that's not on the list.