@tkoeppe I'd like your opinion on the cacophony of fonts in use here. We have upright text, slanted grammar terms, italicized placeholders, teletype code, and slanted teletype exposition-only IDs, in a short space. And the teletype font have rather different font weight when used in the codeblock and when used in running text (eg, in bullets (1.2) and (1.3.2)).

The use of grammarterm for the begin-expr and end-expr is certainly wrong, but I wonder if there's more here that we could improve.

I'll take a look. I had similar thoughts when the issue was first raised.

(Tangent: I think the font weight of the slanted teletype is always quite big, even in the codeblock. There's just less roman font around for comparison. We can look into that separately. [Edit] I don't think we can get a ligher weight of that font easily. However, we might be able to lighten the literal colour, like we did with the grammar; in fact, the grammary-gray seems to work nicely for this.)

I wouldn't be opposed to more "slanted teletype" for these expression placeholders. Nothing says we can use that style only for placeholder variables, and indeed we areadly happily use it for placeholder types and concepts I believe.

@jensmaurer: Looks like something went wrong with the push, could you check again?

@tkoeppe , should be better now.