Model of classes for ADTs is complete.
added some logic to the basic models and also some tests.