“[C]ancellation bears on what can be covered under the doctrine of equivalents… because a relevant artisan would understand the close basic-physics relationship of the cancelled and retained claims.” ...