Refactored the "Type Identity" and "Assignability" sections.

This commit also includes various tweaks as well as a refactor for
nilable and non-nilable pointers.