Update README
Added the Testing.. section for mult/div/bool-section
Written Type inference / Type checking section, short of the Testing.. section
Added a couple of lines to Testing Type inference / type checking section.