This is really nice with a very good much to common JS patterns. Among other things it types the usage of string literals making possible to typecheck and refac

This is really nice with a very good much to common JS patterns. Among other things it types the usage of string literals making possible to typecheck and refactor code that contains if (foo === 'bar').