Since the HOL Peano numbers theory includes simple function types with cause notation clashes with dependent function types.

Also postpend "_conj" to all conjectures/axioms for easy recognition in output of tptp exporter.