Update CI script.
Merge branch 'master' into explicit-memory
Make lore-specific typing more accurate.
Remove setBodyResult.
Simplify some old cruft.
Add some more Pretty instances.