Heterotic O Superstring Theory