README file for hints on Purify'ing or Quantify'ing the Python

interpreter.  It also mentions the soon to be checked in pure module.