updates to reflectionScript.sml, for changes in cakeml repo