Improvements to symbol accuracy w.r.t. type abbreviations