with-message-pointer now redundant
some quick cleaning up around the dumb with-message-pointer mess