HasLt and IsStrOrder
HasLt and IsStrOrder, continued
Renaming map_1 -> map_spec1 etc