> The checker is fully compatible with TypeScript type annotations and can work without any type annotations at all.
That should at least be guarded with a version number, then.