Graded lexicographic order (#1130) - Basecamp