It's fine to keep them here for now. That type isn't needed in order to test SemanticComparison.