A parser for TypeScript types, written in TypeScript types