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

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>