This could do with a better explanation of how it relates to `CDTAnnihilator`.

All the resolver classes could do with more descriptive names. It's hard to understand the purpose of each quickly.