Correctly handle moving dotted vars to the dmap.

I believe that the old algorithm for moving the dotted rest to the dmap was wrong because it kept the old dbound as the bound even though it was supposed to be replaced with what it was inferred to.