TypeSafe AI exits stealth with $40 million · Digg