Unconventional definitions of inequality

[LilithHafner]

Typically, isless is for the canonical total order and < is for the canonical partial order. In this package, we define the canonical total order with < and the canonical partial order with ≪.