ふつうにclassinfoでswitchできればよくない？
switch(o.classinfo){
case C.classinfo: break;
case B.classinfo: break;
case A.classinfo: break;
}
新しい構文とか必要ないし、こんな感じの拡張の方が嬉しいな