remove mutableTVars from InferState as it isn't being used