ENH Better error messages
RFCT Simplify code with mapM_
BUG bops reset the current font

This means that the next character output needs to reset the font
(naturally, this is necessary so that single pages of a DVI file can be
displayed).