代数的データ型の実装が大変そうだったので、機能分割したもの。アトム的な値のいずれかを取る合併型。

TyEnumがなくても、複数のシングルトン値からなるユニオン型にすれば良かったのでは

しかし、Boolをプリントするたびに(| True False) が表示されるのは辛い。