Jon Ross-Perkins

I'm going to leave this to @chandlerc to decide if he wants these changes. Many of them look like they're more subjective improvements. The top-level README is high visibility, and...

The current `Print` is just a stub while other languages features are built. I'll leave this open for tracking, but I don't think the explorer is ready yet to do...

If it helps, it's reminiscent of `constexpr` versus `const`. The guarantees differ.

I'm assigning this to @josh11b to review, but note pre-commit is failing (we use prettier for formatting, see https://github.com/carbon-language/carbon-lang/blob/trunk/docs/project/contribution_tools.md#pre-commit for how to install pre-commit automation but you can also copy...

Depends on #1492

The advantage of enforcing deps is that when other people pull in our repo using Bazel, they're less likely to accidentally get access to hidden headers.

To explain what's going on here, we didn't implement comparison operators yet because we were wanting to just do it once. As described [in the arithmetic design](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/expressions/arithmetic.md#extensibility), the plan is...

Correct. I've retitled this issue to make it clearer what's going on. :)

More specific link, comparison operator extensibility: https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/expressions/comparison_operators.md#extensibility

I want to note, another thing we sometimes do is edit the design in the same PR as the proposal. i.e., to edit string_literals.md and make corresponding adjustments for this...