Pretty-printing of abbreviations over :bool[n], for specific n

[mn200]

You might expect

type_abbrev("u8", ``:bool[8]``)

to cause the type :bool[8] to be printed as :u8, but it doesn’t. Instead the type is still printed as :bool[8]. See Hamad Nemati’s message on hol-info.

This seems like a bug to me.

[mn200]

When I fix this, a whole pile of abbreviations made at the bottom of wordsScript will become enabled for printing. If you don't like this, they should be explicitly turned off with a call to disable_tyabbrev_printing.