CT-String as a Symbol

["Nordlöw" via Digitalmars-d-learn]

On Thursday, 16 April 2015 at 10:46:25 UTC, John Colvin wrote:
> On Thursday, 16 April 2015 at 10:27:20 UTC, Per Nordlöw wrote:
>> On Wednesday, 15 April 2015 at 16:21:59 UTC, Nordlöw wrote:
>>> Help please.
>>
>> I'm quite satisfied with the current state now.
>>
>> Is anybody interested in having this in typecons.d in Phobos?
>
> I would be, yes.
>
> Have you considered what happens if you apply it to a type that 
> uses the new opIndex/opSlice semantics?

I guess you mean Kenjis multidim array indexing and slicing.

If so, I haven't thought of that. I'm very open to suggestions.

Is there a way to CT-query the arity of all opIndex and opSlice 
overloads?