document Str.succ and Str.pred in S32::Str