pattern 1: quote

algebra-independent.

reduce(o, [1 c], f) = (c, f - 1)

returns c literally, unevaluated. the only pattern that ignores the object.

cost: 1. constraints: 1.