Reinstall SymOffExp

Work in progress, do not merge yet.

Part of the DMD diff reduction drive (also note how the total diff size is negative!).