++refactoring: extracted methods  from 'completeNestedCallsInference
++added 'isDenotable' flag to TypeConstructor
use data flow info in constraint system

intersect data flow value possible types
add intersection type (or exact type for the most cases) as a lower bound to constraint system

always get common super type for intersection type as a result
(avoid returning it, even in error messages)