objc_dealloc now uses types as well. Kernel implementation should be complete.