TypeSafe AI exits stealth with $40M to bu... - aVenture News