reimplement cross-closure type inference using a dedicated LocalEntry class for entry copies in closures to keep closure knowledge in one place

prevent InlinedDefNodeCallNode from being considered 'simple' by making CallNode generally non-simple

analyse loop variable in scoped comprehensions as local variable (enables control flow based optimisations)