Stacking of Local Bindings
New local bindings are independent of existing local bindings.
(print x) ) ;Here X has 2 local bindings
(print x) ) ;Here X has only 1 local b.
(if (= x 1) 1 (* x (fact (- x 1)))) )
> (fact 4) ;X will get 4 simultaneous bindings