Fixed problem with the generalization arrows pointing the wrong way.
Deleted all repeated variables from sub-classes (note: a "derived"
variable is one composed from several classes, not inherited from
a superclass).  Now we just need to find a way to specify when a
subclass overrides a superclass instance.