uncomment and updated things in reflectionScript.sml

that look to be useful for the base case of build_interpretation