bottom support on top of dot.elf. note:

With Bot, has-mem is still preserved by narrowing but not xp.
Narrowing of xp is never used in the proofs though.
clean slate { z => T } on top of dot-bot.elf (wip)
wip, still kind of broken
wip on naming version. still broken