Remove type parameter from symbols
Track capabilities of symbol database in its type
Update CryptoMiniSat