[431547] Bottleneck in SelectionEngine.select() when completing type bindings

The patch reduces the recursion usage when traversing/resolving/analysing as well as removes some exceeding (and unneeded)
cycling in visitors.

Signed-off-by: vrubezhny <vrubezhny@exadel.com>