Idea for list polymorphism in Leon
Ported some functions
Added functions with predicates
Added map
Removed commented section
Added more methods
More more more methods
Some operations on slices
More methods
Removed unused type
Added set postconditions
Simplified concat postC & added containsSlice postC
Merge branch 'polymorphism'