tests: migrate tests using Char::+|- and Int::succ|prec