Now caseofs can be swapped even in partial case

(see bool-eq for example)
Also disabled the corresponding transfromation for total case
(which is not the transformations I thought I'd written), so
this commit breaks total add commutativity.
Fixed a let bug in eqprover