Remove unnecessary header words

[xrchz]

For data whose tag and length can be completely represented in its pointer, there should be no need for a header word. This involves changing the data_to_wordProps invariants.