get holKernelProofScript.sml to build again

broke due to conflicting names for term_union and term_remove
use totoTheory's cpn rather than redefining an order datatype