Use wellorder instead of linorder everywhere.