Implement recognizing the end of aggregate data types. Some fixes, too.
Implement recognizing the end of aggregate data types. Some fixes, too.

- Fix various indexing bugs
- Stop being paranoid about signatures: they have been checked before
  (note that we still need to validate all data)

KDE/dferry,KDE/dferry