optimized TVAR reading and writing, i.e the functions $ and (setf $)
gives major speedup in hardware transactions