Implemented IntList ++