Bend 2: a fast language that blocks AI mistakes via proof. Coming soon.