Adjust spec definitions for Symbol#succ, Symbol#next