Fold predicate fast path in canonicalizer and eager resolver See individual commits. r? lcnr
compiler/