Merge pull request #1 from ku-fpg/master

Catch up from ku-fpg branch
removed old modules
removed spurious comment
tweak HasTy<n> definitions
tidying
alignment
remove old Konst code
remove old Cond code
export occurs functions; UnitT --> Unit etc
UnitT --> Unit etc
UnitT --> Unit etc
UnitT --> Unit etc
Renamed `fst` & `snd` to `exl` & `exr`, and `lft` & `rht` to `inl` & `inr`
a few more simplifications
Some #ifdef tweaks
uncurry/pair
remove special pair translation for now
(@.) --> (:.) in decompL & decompR. Helps CRC example
Replaced ConstP in Prim with ConstC in :->
-- TODO: Do we really need both Prim and ConstC?