↑up
083 の対処で、Rename.renDecls において、 A.ValDecl をリネームする前に、左辺のパターンに literal があれば等式を変形する処理を いれた(checkLitPatterns)。
そこで、A.Exp のうち一部しか左辺のパターンに現れない前提で実装しているが、 きちんと仕様と照らし合わせていないので、要確認。