あと、総称の構文が現状の
クラス名 : class [ 総称リスト] (継承リスト) {

の形だと、C++のtemplateより機能が弱い。

「自由変数」と「束縛変数」の区別が付かないので
C++みたいなテンプレートの部分特殊化が不可能な気がする。

aliasの構文を
別名 : alias [総称] 何か;
に拡張すればこれで代用できるかな。