"Bosque simultaneously supports a high productivity development experience [...] with a performance profile similar to a native C++ application.[...] Bosque also brings an unprecedented tooling ecosystem including zero-effort verification, symbolic testing, dependency management validation, time-travel debugging, and more."

If this is not breakthrough, what is?