@Override
  public DfaValue bindToFactory(@NotNull DfaValueFactory factory) {
    return factory.getBinOpFactory().doCreate(myLeft.bindToFactory(factory), myRight.bindToFactory(factory), myType, myOp);
  }
@Override
  public DfaValue bindToFactory(@NotNull DfaValueFactory factory)