Is this supposed to be some sort of own? That article is about language features Ada has to reduce verbosity, including operator overloading and some brevity features.

A explicit strong, statically typed language is going to have a lot of text in the file about types. When Ada came out this was a jarring concept for a lot of people (especially C programmers) which lead to the "Ada is a bureaucratic language" complaint. In fact, Ada has stuff like operator overloading where C, for instance, does not. But it absolutely has types and they absolutely are not optional and are explicit.