master
tools/fix: merge calls to list.Concat
core/toposort: Stop using RawString
internal/core/adt: support bulk adding of conjuncts