For SMT-LIBv2: to_real support; to_int and is_int support for constant expressions
more work on to_int/is_int
more to_int/is_int
Fix for chain problem
update NEWS
int-operator-specific type rules
div,mod,/ -by-k support (in linear logics)