ファーストクラスとして実装されていない概念なんていくらでもある。
たとえば「継承関係」をファーストクラスとして実装している言語を挙げてみ？
Smalltalkですら「継承関係」はファーストクラスじゃねえぞ。