You've misunderstood the type system. It's not untyped, it's the static typing that is optional. It's mostly just your typical dynamic type system with optional

You've misunderstood the type system. It's not untyped, it's the static typing that is optional. It's mostly just your typical dynamic type system with optional type checks in debug mode and (incompletely) at compile-time.