Fix the omission of succ and pred.
Update syntax highlighting.