remove debugging printout from combinWriter.sml

initial work on adding compatibility layer for combinTheory

will need to also add a theory file (akin to HOL4boolTheory) to rephrase
the remaining 6 assumptions in terms of what the standard library
provides.