Add tuple_to_string to progressions.js