Added typing rules for integer constants and operations and typechecking for expressions with integers.