fixes for GHC 7.8.3, faster build for uhc-light
Add char literal to Core API
Remove case-default from Core API, document case behaviour (see issue #39 )
fix for uhc-light buld to indeed do include specified modules
merge patches for public-api
version 1.1.8.2
version bump to 1.1.8.3