Use HscEnv from initial HsToCore transformation when translating tfp to int