start updating bootstrap lemmas for Word8Array

something seems broken about the tags of primitive constructors: the
compiler's environment after the bootstrap doesn't match up with the
tags from conLang.