Post-review cleanup.

Move the assert the type symbols do not appear in the defMap to the caller and reactivate.
Zero out wideInfoMap and widenMap pointers after they have been deleted.