Move externals out of HERMIT/Shell/Proof.hs
Changed apply to applyT
Clean up callsT and callsR TODOs
zEncode new dictionary names for less confusion
Improve error reporting from TcM and DsM capabilities (dictionaries)
No need to pass guts around so much
Merge branch 'master' of github.com:ku-fpg/hermit
Finish liberalizing monad type for inline rewrites.
Stashing in different branch
Show module name in info output.
Disable scope resetting on GHC 7.6
Merge pull request #117 from ku-fpg/ghc-7.6

GHC 7.6 fixes
Run occurAnalyseAndDezombifyR on 'continue' as well as 'resume'
Catch both uses of resumeS :-P
Remove unnecessary import
Add embedHermitM
Generalize type of parseCoreExprT
Generalize type of ww assumption intro translations.
embedHermitM: don't drop errors into CoreM where they cause a panic.
Add parse2BeforeT and parse3BeforeT