基本型な数値型を継承して、そのままだと演算子も全て継承して（特に新たな定義が必要な演算子だけオーバーロードする（この場合だとオーバーライド？＞＜））、でも基本型とは暗黙の型変換は無効化されるみたいな、そんな形の機能と言うか糖衣構文と言うかなんかそういうのあったら、Adaみたいにちょこまか型作る人増えると思うんだけど無理なのかな・・・＞＜