ちょっと思うことがあっていろいろ試していたら、http://lethevert.blogspot.com/2006/10/what-does-this-program-means.htmlのようなバグ（？）を見つけたわけですが、 一番やりたいことはこういうことで、 ::Number | Arith a :== aあるいは、 ::Number :=…