Merge in tfp1 project, containing hipspec rescratch
Update tff1 pretty printer and old main
Prepare for merging in old code

* Update cabal file
* Current main is in TempMain
* HipSpec.Prelude is renamed to HipSpec
Update Params, Provers and ThmLib
Remake HipSpec, but without QuickSpec
Fix a bug triggered by induction on exponential data types
Fix a bug that made lemmas not turn up in theories
Partially translate QuickSpec terms

TODO: Apply functions and constructors to their types.

TODO: Introduces code duplication between Calls.hs and Heuristics/Calls.hs
Update parameters
Tidy up Calls duplication etc
Move some files to HipSpec.GHC
Tidy
Move Lang under HipSpec directory
Move Signature related things to HipSpec.Sig
Update signature map translation

Now supports built in lists and tuples, had to introduce them to the
scope by hand (?!).

As before, newtypes are considered abstract.

The quickspec term -> simple translation is still incorrect, but it works
with Alt-Ergo because the type arguments are not written out and it
does its own type inference.
Fix a bug in induction hypothesis instantiation

The IH was incorrectly applied to all types that had the same leading
type constructor, but it should be exactly the same type.
Perform linting pass on functions and properties

Not yet any linting for PolyFOL
Make well-typed translations of QuickSpec properties
An attempt to generalise properties
Add prim to cabal file