Add checkedint aliases
Add areUnstrictlyOrdered