CoreRun expl stack ok, but still a stackoverflow somewhere, patched it by arbitrary stack incr, for now. In prim handling?
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