Policymakers would need to make four central design choices. Each would affect the tax’s environmental, economic, revenue, and distributional effects.