Add OrderedSet.py
Fix old header reading
Remove unused OrderedSet