semantics of printing for words

but verifying the implementation of this is going to require an overhaul
to the way printing works, since we can't tell at runtime whether a
Number is a word or not without type information.