Update normalization to new paper definition

Also change defn, defe, usen, usee to new paper names and
specifications
Add initial delta applying functionality
Add beginning benchmarks