Should `This ..` objects have a unique hash?

[kirchner]

We have a function Pattern.hash : A object -> String which returns the name of the object, in the case of A object being just a reference. Do we also need a unique hash in the This ... case?