Renames label-defined? to resolve-symbol.