I like this, it is way better than DCNH, which seems suspect to be honest. Inert-Contact subtypes basically just expands and delves into the existing standard subtype theory though.