== does should benefit from structure-sharing when possible

[tomaskulich]

i.e.

bigmap.assoc(key, val) == bigmap

should take only O(1) time

[tomaskulich]

Also, the idea of computing and storing of a hashcode for each comparison should probably be revisited?