makeRTEnv initializes the env needed to expand refinements and types, that is, the below needs to be called *before* we use expand