rename types/values first then modules. (Necessary if mutual modules define the same name.)
rename types/values first then modules. (Necessary if mutual modules define the same name.)

antalsz/hs-to-coq,antalsz/hs-to-coq