4.4.1 - redo use new system - db input
4.4.1 - database input
ex 4.55 - done
ex 4.56 - done
4.4.1 - fix: missing rule for prolog prog
ex 4.57 - done
ex 4.58 - done
ex 4.59 - done
4.4.1 - rules
ex 4.60 - done
ex 4.61 - done
ex 4.61 - remove unused
ex 4.62 - done
ex 4.63 - done
ex 4.66 - "lisp-eval" plan
qeval - try implementing lisp-eval
qeval - lisp-eval implemented
qeval - doc for lisp-eval handler
qeval - fix bug: initialize query system

previously the system is only initialized when tests are performed.
and user won't be able to use handlers until `qe-fresh-assert!` is
called. so adding a call after all related modules are loaded will
be better.
ex 4.66 - done