Incorporating Functor laws
Updated README.md