CoreRun expl stack ok, but still a stackoverflow somewhere, patched it by arbitrary stack incr, for now. In prim handling?
Merge pull request #30 from phile314/upstream

Bump shuffle version
Merge branch 'master' of github.com:UU-ComputerScience/uhc
hcar entry, work on uhc-light (uhc on hackage)
Paths_uhc_light infrastructure for/from cabal
infrastructure for using cabal
first working cabal distr generation for uhc-light
upload try of uhc-light 1.1.7.0 to hackage, bump of version nr
Fix haddock errors
Add Basic Core API
Expand Core API