Removing dead code in coretypes.