add handle_rw test to join handle_r and handle_w tests
function-based existential quantification (already have struct-based)
cleanup of transactions - rw transaction now is correct
MUST MAKE INTERFACE SMALLER