misc improvements in the command line UI, fixed one backchaining bug