Universal backend: remove obsolete implementation of some primitives
Universal backend: implement boxes
Universal backend: add mutability testing primitives
Universal backend: add procedure? primitive
Universal backend: implement symbol->string and change symbol representation