master
Removed unused ordered id table
Renamed all division_engine to division for convenient typing
Fixes, improvements, new tests