Make it possible to access the type env from the runtime

We should pass in the type environment that was used in the front end to the runtime in order to support type checking in runtime. This means every runtime function should be able to access the type env. I think perhaps making runtime exec functions methods on runtime struct that has reference to type env would be the easiest way to do that.