Construction of the Covariantly Quantized Heterotic Superstring