Make type qualifier transitives