updated README.md
bugfix: use transactional slots accessors instead of (slot-value) also in tests
bugfix: relax type declarations in transactional slots to keep strict
  type-checking implementations from complaining about TVAR/actual type
  mismatches