some updates to cakeml_computeLib, mainly removing uop
copy changes to cakeml_computeLib for compile_primitivesTheory too