added scoping/shadowing as a test case
added adt spec as a closure test