High Dimensional Inference: Semiparametrics, Counterfactuals, and Heterogeneity