Use a FullType to record types of objects.  Saves space in
the Object struct.

Needs cleanup.