better preconds for EVERY, EXISTS, FILTER, following MAP
revert part of previous commit
prog-to-x86 compile function
fix bootstrap lemmas for changes to exhLang
Merge remote-tracking branch 'origin/master' into Word8Array