fix 7.3.1

[matonix]

大ステップ評価において、評価先がv（値）になる場合、vの候補はラムダ抽象しかないので、TmValであるかを判定しなければならない。