fix Deref case of zBC_HEAP_THM

also, cheat/fixup some places where the changed type of Cons causes errors