Added checks for variable capture for case-reduce-dataCon.
This has not been tested --- we need testing infastructure!
Updated examples to match new simplify behaviour (due to change in case-reduce).