Rationale

Given that Clojure constrains import, it could infer/guess more about untyped method calls.

Plan

Issues