チェックの充実化

出来るだけ解析時に不正な記述を判別したい。
関数型によって引数の個数が違うので、それも判別したい。
また解析処理が回帰で実現されているので、スタックオーバーフローの抑止も目的としたい。

集合関数のネスはNG
