Refactored SymbolMiner and SymbolResolver to avoid using the "default"
package.