Add to nested.scm; shows that Python is broken too
Fix scoping in OCaml; all current tests now pass