IncrementType can extend IntType until #526 is implemented