Prohibit invalid predicate compositions?

[vreuter]

Would it be possible to have certain always-invalid or always-valid predicate compositions cause compilation errors? For example:

@ type InvalidSize = Size[Equal[W.`-9`.T]] 
defined type InvalidSize

or

@ type TriviallyTrue = Size[Greater[W.`-1`.T]] 
defined type TriviallyTrue