Make set of types different symbol to theory