fixed tx copies
tx
per-TVar locks instead of global locks
Evals as special Writes