Vale is a fast, safe, and simple statically typed imperative programming language that uses type...