Revert Extracts

Extracts can be reverted to an earlier session in a similar way to non-extract databases. However, for extracts, the database is not truncated, but a new session is added that is a copy of the required session. This means that unlike backtracking a normal database, reverting an extract can always be reversed.

Any elements which are claimed out to users or extracts must exist in the reverted session.