CLJS-907: False positives from arithmetic checks

Type inference case was missing for :dot AST.

Added test.