We should record the names that users give complex types and use them when we can when reporting diagnostics.