Update README.md

made some corrections from our inclass review
Also added TYPE, but no RHS as of yet