Fix typo (not -> ##not)
Universal backend: on Python avoid deeply nested constants which cause a crash
Universal backend: implement ##unbound?
Universal backend: on PHP avoid warning when creating vectors and strings of length 0
Universal backend: minor cleanup
Universal backend: implement ##closure?