Add interval_diff to progressions.js