Improving discovery of concrete symbols + Improving Symbol deficit calculation to take into account superType representation