Added commenting and changed

1) Added comments to clarify code.
2) Changed order of statements in firstConjunct within AndStatement.java
to make the order consistent with AndIterator.java.
3) Added README.txt to repo.