Comment by oelang

> refers to scalability of the syntax

And the flexibility of the type system and the advanced type inference.