Compactified Strings and the Heterotic Theories