クラス宣言をどう書くか…

Ada95 | type SUB is new SUPER with ～
ObjectPascal | SUB = class(SUPER) ～
Eiffel | class SUB inherit SUPER
Ocaml | class SUB object inherit SUPER ～
C++ | class SUB : public SUPER { ～
C# | class SUB : SUPER { ～
Java | class SUB extends SUPER { ～

Eiffelの様に型宣言がクラスしかないならともかく、struct, enumなど他にもあるので
「変数宣言同様名前が先」かつ「classキーワードは明示すべき」とは思う。
総称のパラメータ型を受け取る記述も必要だし、
ObjectPascalの委譲機能(implements)を採用するなら継承はするが実体は持たないことを明示する必要もある(かも)。
( ObjectPascalの場合インターフェースだけだがmix-inがあるので )
メソッド定義が METHOD : (ARGS) -> RESULT とかなり記号的なので、
記号的なのがいいかな。でも = より is が意味的に正しいと思う…。

SUB[GENERICS] is class : SUPER, MIXIN, INTERFACES | MIXIN, INTERFACES { ～

":" が継承、"|" が委譲…ダメ？誰かもっといい形考えて