Distinguishes different ways in which positions can be mapped.
Map a position to a valid new position, even when its context was deleted.
Return null if the character after the position is deleted.
Return null if the character before the position is deleted.
Return null if deletion happens across the position.
Distinguishes different ways in which positions can be mapped.