update to use Control.GArrow instead of GHC.HetMet.GArrow
bundle preview.sty to avoid versioning headaches
Merge branch 'master' of git.megacz.com/coq-hetmet
partial implementation of KappaAbs/KappaApp in Coq code
Merge /afs/megacz.com/.pub/software/coq-hetmet