Incremental Rebinding with Name Polymorphism