Heterotic string theory (I). The free heterotic string