Add type_casting_inference to toc.