@Override
 protected Value<?> boolOr(Bool leftValue) {
   return new Bool(leftValue.getValue() || value);
 }
 @Override
 protected Value<?> boolAnd(Bool leftValue) {
   return new Bool(leftValue.getValue() && value);
 }