rename And and Or consturctors to LogAnd and LogOr