Decrease info

* make termination check default. 
  All *regression tests* pass (apart from the 5 failing ones), some using the --no-termination flag. 

* Relate each decrease hint with the first variable (defined with a let expression) that comes AFTER it.
see tests/pos/fixme.hs for an example.

* tidy termination code