Add support for translating large words to CakeML

This issue is about adding support for words with sizes greater than 64 to the CakeML translator, where they would probably be translated to CakeML integers. See https://hol.zulipchat.com/#narrow/channel/486793-.F0.9F.8D.B0-CakeML/topic/Translating.20large.20words for some discussion. Also #1074 might be required for the word operations on these integers.

Start with the linked Zulip discussion and issue #1074, which may be required for word operations on the translated integers. Trace the CakeML translator entry points for word values and define the expected behavior for sizes greater than 64; done means those words and their operations translate correctly.

Written by the indexing model from the issue text.