tyEqOp2
ty >= 0.1.15
primToSource with TYPS
TYPS --> TS
Sugar pairing only when Sugar
Get some basics from Circat.Misc
remove condC, condPair (cirdcuit analogue now in ToCircuit) ; don't Simplify
style ; condC
comment out anytdER for now.
bump version to 0.1.1