Implemented AndIterator. AndStatements are now Iterable.

Added abstract subsumes in Statement.

Implemented subsumes for Atomic and Exists statements.

Partially implemented subsumes for All statements.