introduce co4 monad
introduce co4 monad
adjust tests to previous commit
adjust tests to previous commit
Merge branch 'master' of https://github.com/apunktbau/co4

Conflicts:
	CO4/Test/WCB_Matrix.standalone.hs
Merge branch 'master' of https://github.com/apunktbau/co4

Conflicts:
	CO4/Test/WCB_Matrix.standalone.hs
fix README
fix README
add profiling support for built-in functions
add profiling support for built-in functions
use strict fields in EncodedAdt type
use strict fields in EncodedAdt type
add built-in encodings for Boolean primitives
add built-in encodings for Boolean primitives
fix queens example
fix queens example
fix WCB_Matrix
fix WCB_Matrix
ignore deriving-statements in TH-frontend
ignore deriving-statements in TH-frontend