Looks like I misunderstood \keyword. I have removed those suggestions here and in my other reviews.

Looks like I misunderstood \keyword. I have removed those suggestions here and in my other reviews.

I think \keyword would be applicable in some of these places. No big deal if it doesn't happen, though.

My understanding is that, since \keyword adds index entries, it should only be used when the meaning of the keyword is defined. That is unlike \libconcept, which is meant to index all uses of concepts.

In that case, changing all "predicate is \tcode{true}" to use \keyword would have the undesirable effect of adding many index entries.

In the core language sections, I sprinkled \keyword all around when mentioned outside of (example) codeblocks. (Presumably, the core language only talks about a keyword when that has a meaning in that situation.)

We probably shouldn't do that for the library.