[Tree Optimizer] Typecheck reads and writes

[oflatt]

We will need to add type annotations to reads so that we can typecheck them