Merge different type symbols into a single class.
Refactored ScalarType out of TypeSymbol.