Removed some old code redefining constructors from BoolEqBool