Rename linear order to weak linear order, close #237