Add notes on ADL.
make all -> make tests
Add the Comparable type class.