EqWord: tests and bug fixup in Word64 instance
Fixing bug in EqWord instances
Merge fix errors in EqWord fixes #195.