TypeSafe AI raises $40M Seed