An attempt to generalise properties
Add prim to cabal file
Add prim to cabal file
Generalise properties
Merge branch 'unify' into tfp1
Support alt-ergo 0.94