added address count to heap, implemented let and letrec rules