Derived Eq on Expr and added case check in fold'
A bit more reasonable structure on seqIf.
Added rest of the cases to genK.
nubbing away extra parameters in kernels. Perhaps it is done a bit too late?