Towards the quantization of the Green-Schwarz heterotic string