Implemented IntList with the + operation
Changed 'PeanoType' to 'SizeType' for easing the comprehension of the 'IntList' for the third blog post
Implemented an UnsafeIntList
Removed an unnecessary type annotation
Removed some copy/paste comments