Remove base tracking support

The tracking support is base is both too tightly coupled with Model/ModelObject to be really useful independently as well as not tightly enough coupled to not cause problems. Fold it into Model/ModelObject.

Also, greatly simplify invariants: everything needs to be consistent within the current graph. Nothing more.