Things are a little confusing when we can both use the Smalltalk IDE with or without running our stuff.

Code exploration tools are available before "running and inspecting" our stuff. We read the protocols and code without "running and inspecting" our stuff.

It is true that static types provide more-precise more-automated identification of implementations and call sites.