Only just now I realized that "TypeSafe AI" are the people behind Jev, and "System One" isn't the company name, as I assumed, but a larger project label.