Improved equality check for VDMSeq class
Improved equality for 'VDMSet' class