axiomうんぬんは永遠に先延ばしするとして
static_assert系の仕組みの引数にprintfのformatみたいな方式でoperator有無のチェックを記述出来る様にしたらどうかな

static_assert(A,"++\(int)++\*()\*(A)","unimplemented");