Make solve_typing able to solve [typed_read] and [typed_write].

theories/typing/examples/get_x.v

theories/typing/examples/init_prod.v

theories/typing/examples/lazy_lft.v

theories/typing/examples/rebor.v

theories/typing/examples/unbox.v

theories/typing/option.v

theories/typing/own.v

theories/typing/programs.v

theories/typing/shr_bor.v

theories/typing/uniq_bor.v

theories/typing/unsafe/cell.v

theories/typing/unsafe/refcell/ref_code.v

theories/typing/unsafe/refcell/refcell_code.v

theories/typing/unsafe/refcell/refmut_code.v

theories/typing/unsafe/rwlock/rwlock_code.v

theories/typing/unsafe/rwlock/rwlockreadguard_code.v

theories/typing/unsafe/rwlock/rwlockwriteguard_code.v

theories/typing/unsafe/spawn.v