Understanding Abstract Types - 1
Just updating some misc stuff.