Solve headOr
Solve product
Solve sum
Solve length
Solve map
Make consistent the name of the tail of a list