Alternate terms

[david-christiansen]

We should have a place to put alternate terminology/names for concepts or constant names.

This could direct people looking for Either to Sum and Except, Result to Except, and Maybe to Option.

[robsimmons]

One option that would work people using our search bar (though not for people using google search, perhaps?) to have a facility for injecting search results directly — searching for "Either" gives in-place information about what they might want to be looking for really:

[david-christiansen]

I think that'd be a great way to get started, and very little work to implement.

For doc authors, we'd have an API like:

:::alternateNames Except Either Result
When used as a monad for control flow, the sum type is called {name}`Except`.
:::
:::alternateNames Sum Either
When used as data, rather than for control flow, the sum type is called {name}`Sum` and written ...
:::
:::alternateNames Option Maybe Nullable
...
:::

Adding it to the search box and index is just a few lines of code, and it doesn't need to occur in the text outside the index to be useful.