List: "partial ordering" -> "strict weak ordering" in sort
Add examples in Foldable and add the sizeof_ method