Changed read to be type-safe in ReadTransaction