favicon decls + rename builtins scope