Wrap typechecking computation in a read action, MPS-17302