Moving defpointer topic into xdoc/top.lisp
Adding alias of 'stv' for topic 'symbolic-test-vector'