added sane hashcodes for finite sets