Introducing Incremental (via veqq) — discussion

#logiclangs #ml