Introduced support for re-evaluating ResultSets

ResultSet is now a Statement. Statements are tested in the StatementSpec, and have been made more concise.