rename AntiMinus to PrePlus

as discussed in #101