Navi is a high-performance, statically typed, compiled programming language developed in Rust,...