Don't mess up the cache and the stamps to save on binary clauses

If we resolve them, then the stamps & cache will stay OK. Resolving them
is expensive, though, so maybe we could have some kind of trade-off.