Typesafe AI raises $870M at $7.5B