Rename ordered_set.js into order.js