Draft inequality sections

-   .<=>
-   .<
-   .>
-   .<=
-   .>=
Draft .ancestors section
Remove module stuff
Remove superclass stuff