corrected variable scoping
implemented alloc_closure
mutually function call got compiled
add test cases for mutually recursive calls