Ctype.nondep_type -> Ctype.full_expand