sweeping xsb changes. no more semicolons being sent. no more retract before assert.