* ada-exp.y (type_int): New function to add layer of abstraction