Implement RFC #43

This removes the ability of the borrow checker to determine that repeated dereferences of a Box<T> refer to the same memory object.