For a Calls' type inference, first visit all arguments, then add input observers, then recalculate
Fixed #119: make sure to always downcast call obj and args because a dispatch might be reduced to a single call