GADT based Arithmetic for values