Changing IntList to use this/that instead of self/other
Renamed SizeTail to TailSize to be more consistent