A theory of strings in a second-quantized formalism on the target space (as opposed to the first-quantized formalism on the worldsheet)