Correction map API could have a map of pruned bindings. Alternatively, we could just include a new `CorrectionType` for pruned bindings.
Correction map API could have a map of pruned bindings. Alternatively, we could just include a new
CorrectionTypefor pruned bindings.