Updating: improving ATS-parse-emit-javascript