initial commit of IntSet
added reduction on lists (Lecture 5.5)