Types: Add assert to ToC

A follow-up to #572, which added the item, but missed the ToC update.