Note clojure compatibility
Fix CTYP-132. Type checking doesn't blow up on unresolved reflection
Resolving interop calls is more robust