CO4.hs must not export EncEq
refine README
Merge branch 'master' of https://github.com/apunktbau/co4