add INT keyword

Besides INTEGER, we should have INT also