すこし綺麗に書き直した

下に書いたのから、よく考えたらおかしいところを直して、option Z とかいらないじゃんとか思い直した。

ここに最新のが置いてある。http://github.com/kik/sandbox/blob/master/coq/tarai.v