Steps toward using HasCond version of circat
simplify tyHasCond
More robust pattern matching when sugaring
Use Dict from Ed K's constraints package.
--disable-documentation
Translation.{hs,hss}
Get Binop from Circat.Misc
"#if 0 ... #endif" in place of commenting for dead code (for syntax highlighting).
halfAdderH with HOF