put the new readme in place as agreed on in the forum. (small addition wrt type inference to avoid the misconception that may arise from not seeing type declarations in the examples)