Provide some intuition about free monads and add an example to README/

Patch by Stevan Andjelkovic
Added code point information

Patch by Andrés Sicard-Ramírez
Added bibliographic reference.

Patch by Andrés Sicard-Ramírez