partial implementation of KappaAbs/KappaApp in Coq code
update for new GHC coercion representation
start using type-family-based GArrow classes
split HaskLiteralsAndTyCons into two files
move ModalBoxTyCon, ArrowTyCon to HaskLiteralsAndTyCons
better variable names in HaskWeakToCore
final batch of fixups before enabling -fcoqpass
fix spellings in Extraction-prefix.hs, minor tweaks
reshuffle definitions in an attempt to iron out inter-file dependenceies
add support for CSP in HaskCore+HaskWeak
minor cleanups in HaskStrongToWeak
first pass at proper handling of coercions in HaskWeak
better error reporting in Extraction.v
fix spelling error in HaskWeakToCore
remove weakTypeOfWeakExpr and replaceWeakTypeVar, no longer required
store the scrutinee CoreVar in WeakExpr Case to simplify WeakExprToCoreExpr
store the magic CoreVar for hetmet brak/esc in WeakExpr Esc/Brak
restore HaskWeakToStrong functionality that I broke over the weekend
give HaskWeak its own type representation, fix numerous bugs
better names for the auxiliary CaseBranch records