Types: Add assert to ToC

Closes gh-582
1.11.29