New class variables removed
New class variables removed

New class variables removed according to Google group discussion https://groups.google.com/d/msg/metamath/F7OY1YoGwFM/FdY7mOV8DwAJ

metamath/set.mm,metamath/set.mm,metamath/set.mm