>> One idea is to use typewriter parentheses and roman upright square
>> brackets, although this is becoming more complicated.
>
> I think that this is too complicated, and parentheses can also be
> "metasyntactic", to show groupings of parameters.
I can imagine two things.
* A `@def...` that has 'meta' as the default (after the first
argument), and users have to add `@var` and friends to tag other
types, and
* a command `@meta` to tag stuff as meta. On the other hand, maybe
`@r` is good enough.
>> In fact, I don't see why @var shouldn't always be slanted
>> typewriter.
I think the current behaviour is OK, that is, you get 'slanted' in
normal text, and 'slanted typewriter' if used within typewriter.
Admittedly, I'm not a fan of too much typewriter in paragraphs...
Werner