I'm not sure I agree with this at all. As I mentioned, this opens the door to a bunch of stuff like "Detects whether symbol or type $(D x) is an integral type" etc.

Or, are delegates special enough to warrant special treatment?