More Uniform Syntax for Operating on Types aswell as Values

[Nordlöw]

The more I use generic programming in D the more I long for a 
more uniform syntax for operating on types.

One improvement could be to make, for instance,
    enum isArrayOf(T, U) = isArray!T && is(ElementType!T == U);

which is used as

    isArrayOf!(T, string)

instead be expressed as, for instance,

    T.!isArrayof!(string)

or, in this binary case, even simpler

    T.!isArrayof!string

where .! is a new operator.

Have anybody discussed or even proposed such an extension?

I haven't thought about operator associativity and precedence. 
Maybe my example is plain, wrong syntatically :)

Destroy!