Adaにはありますね。A not in B だったかな？
単にPascalではサポートして無いってだけでしょ。でも欲しいのは同意。
ついでにcase文で

case AObj of
TheClass: …;
AnyClass: …;

なんて書きたかったり…