condPair; remove Konst and Cond (now in Prim); comment out eta-reduction until I deal with shadowing bug; step4d experiments
fixed eta reduction
fix E equality; simplify eta-reduction; fix AndP & OrP rendering
tryR
trivial Test tweaks