JS backend: compile some builtins to builtins.js instead of stdlib