allow opening invariants around typed_read_end and typed_write_end

Merged Michael Sammler requested to merge time/read_write_inv into master

Merge request reports