Typography fixes: \small, \verb, \mathit and \holtxt are now applied consistently.

The rules are:
- \small is applied to whole cell of a table so both math and typewriter
  fonts are of the same size
- \verb is applied to non-space chars only
- \mathit is applied to all multichar symbols, e.g. "op", "thy", "const"
- \holtxt is applied where it was
- \ldots is surrounded with spaces
- spaces go between non-empty list and brackets
- there is no space around commas between functions arguments
Typography: "bool" and "num" subscripts are now vertically aligned.