Explicit Type precedence.
Refining Type syntax.
Qualifier syntax.