別名定義　　　　　 : alias 既に存在する何か;
変数　　　　　　　　 : variable 型 = 値; //variableは普通省略
定数　　　　　　　　 : constant 型 = 値;
プロパティ　　　　　: property 型 get {実装} set {実装}; //getは"Result"、setは"Value"が暗黙に存在
メソッド　　　　　　　: [総称] ( 引数リスト ) -> 型 {実装}; //返り値を持つ時"Result"が暗黙に存在
メソッドポインタ型 : delegate [総称] ( 引数リスト ) -> 型 {実装};
列挙型　　　　　　　: enum { 要素リスト } ; //整数と文字型含む
部分範囲型　　　　: range 最小値 .. 最大値 ; //列挙型はそのままでも部分範囲型
フラグ型　　　　　　: set [ 部分範囲型 ] ;
参照型の配列型　: [ ] 要素型 ; //総称と同じ様に "型名 [ 部分範囲型 ]" で値型の配列を作れる
値型の配列型　　 : [ 部分範囲型 ] 要素型 ; //要素型が同じ参照型の配列にBoxing可
参照型のクラス　 : class [総称] ( 継承リスト ) { メンバリスト } ;
インターフェース　: interface [総称] ( 継承リスト ) { メンバリスト } ;
mix-inモジュール : module [総称] { メンバリスト } ;
値型のクラス　　　: struct [総称] { メンバリスト } ;

○型定義と変数宣言を同時に行いたい時はvariable明示(やはり型は記号を別にした方が?)
(例1) 変数 : variable enum {X, Y, Z};
(例2) 変数 : variable [1..10] Integer;

○オーバーライド時はスペルミス防止で明示的にoverrideと書く
メソッド : [総称] ( 引数リスト ) -> 型 override {実装};

○継承した型間で名前が被った時はクラス中のメソッド定義でaliasを併用して変更。
メソッド : [総称] ( 引数リスト ) -> 型 alias 継承した型のどれか.旧名;
メソッド : [総称] ( 引数リスト ) -> 型 alias 継承した型のどれか.旧名 override {実装};

○インターフェースやmix-inを他のオブジェクトに委譲するのはクラス中のプロパティ定義で行う
プロパティ : property 型 get {実装} delegate 継承した型のどれか;

…他に何かありましたっけ？(疲れた…C#寄りですけど叩き台にはなるでしょ)