do limitDepth in genericBind
increment scope level directly at polymorphic constructs, not on bind sites
tests for escaping polymorphism