086: checklit の網羅性を確認

↑up

概要

083 の対処で、Rename.renDecls において、 A.ValDecl をリネームする前に、左辺のパターンに literal があれば等式を変形する処理を いれた(checkLitPatterns)。

そこで、A.Exp のうち一部しか左辺のパターンに現れない前提で実装しているが、 きちんと仕様と照らし合わせていないので、要確認。