clean up the modules in ocp export
make it possible to report equality violations
add OP_SQ to codegen
write python bindings to exported OCP and expose OCPExport options to the user