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.
Shouldn't the year be `2012-2014`?