Support delta of enumeration symbol with abstract symbols
Support delta of enumeration symbol with abstract symbols

By tweaking the difference calculation methods, now the enumeration
symbols could have correct behaviour when delta is formed with abstract
symbols.

tschijnmo/drudge,tschijnmo/drudge,tschijnmo/drudge