Removed Chaining system
stub for cancellative inferences;
updated ArithLit.Arr with views, and temporarily disabled things in ArithElim
that would use some of those views