Update README.md

Author: andrew-johnson-4

README.md

@@ -79,11 +79,11 @@ LM soundly integrates several features that are useful but historically hard to
 The type system is not decidable in the general case.
 However, by providing type annotations on all overloaded functions it becomes decidable.
 
-* Plural Types (Types behave more like logical predicates)
 * Higher Order Functions (Functional Programming)
 * Parametric Polymorphism (Generic Programming)
 * Subtyping (Object Hierarchies)
 * Ad-Hoc Polymorphism (Function Hierarchies)
+* Plural Types (Types behave more like logical predicates)
 
 <a href="https://github.com/andrew-johnson-4/-/wiki#mascot"> <img src="https://raw.githubusercontent.com/andrew-johnson-4/-/main/DOBY.jpg" height=200 title="Doby being a prototypical ass."> </a>