>>349
余分な括弧を許してsimplを使うのがまわりくどい。

括弧の代わりにXMLみたいなタグをイメージしてみたら？
タグは<variable><application><abstraction>の３種類とする。
余分なタグをつけると意味が変わってしまうから、
余分なタグのない状態を保つことになり、simplなんていらなくなる。


それ以前にβ正規形の定義がおかしい。
β基は一番上とcadr以外の場所にもあるから全部探さないと