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

Conflicts:
	CO4/Test/WCB_Matrix.standalone.hs
fix README
add profiling support for built-in functions
use strict fields in EncodedAdt type
add built-in encodings for Boolean primitives
fix queens example
fix WCB_Matrix
ignore deriving-statements in TH-frontend
fix undefined in 'PreludeNat.catchUndefined'
fix loop example
fix definedness in built-in functions
fix Loop test
speed up type inference
speed up TH-preprocessing
speed up compilation by removing unnecessary type inference
fix README
repair SL
remove unused function