extend CPF
Merge branch 'pre-7.8'
exclude TPDB.Rainbow.Proof

because of incompatibilities with ghc-7.6.3
add usable rules
derive show instance for Marked
repair usable rules def