The type system still allows organizing and abstracting code in standardized ways.

Static type checking is nice and is certainly my preference, but dynamic type checking doesn’t mean no types. It means the types are checked at runtime.