Fixed bug with not finding map(f,xs++ys) = map(f,xs)++map(f,ys).
add long explanatory comment