Added start of eta-longness checking in Pre.hs
Cleaned up the passing of random variables for isEtaLong
Rejiggered arityChecking structure
First stab at eta-longness checking
All types have arity 0
Fixed the shadowing warnings
All our types must be.. types
Began segregating arity checks into type and terms
Added the arity of the offending term to NotEtaLongError
Fixed obvious arity check bug in non-obvious way
Long comment/note/apology for tricky code