Add documentation on environments.
Add ability to read positive integers

Numbers are Church encoded when evaluated.