teach the new int types to lang/parser and lang/sema
add proper overflow checking to constant expressions