This allows the commands to be used in PDFstrings, and hence in section
headings. The `hyperref' machinery builds the PDFstring by making many
control sequences, such as `\textsf', be nops, but `\package' or `\env'
will still cause trouble if they're aliases of the old font-changing
commands.
% names and environment names (both in the sans serif font, for now).
%
% \begin{macrocode}
-\tlet\package\textsf
-\tlet\env\textsf
+\tdef\package{\textsf}
+\tdef\env{\textsf}
% \end{macrocode}
%
% I'll define the |\<|\dots|>| shortcut for syntax items suggested in the