add IntInterval type