doc
refactor
more accurate #is_meta_tuple?
in transaction execution, reads must be distinct from takes