(gj_conjecture_counterexample ): Rename to bccz_counterexample
whitespace fixes
Add stubs for and make copy of irrational function constructors