ADTs now uses qualified names for nested classes; lots of modifications to readme