Added another note explaining Arity.hs
When we're dealing with canonical terms nf is somewhat useless
There is no more need for nf
Updated woefully out of date .cabal file
It's rather important to remove imports for deleted module