Types: Add assert to ToC