Towards language equivalence: L to Hyb, part 3 - missing good defs for fetch and get rewrites
Lang. equiv: Hyb to L - copy-paste of old proofs