TypeScript port of jqtype: static type analysis for jq filters, intended for embedding in language servers.