adds GC for letrec-exp & !store (needs HR format)