solveType

Solve the given type. Either the type is found and returned or an UnsolvedSymbolException is thrown.