add comment about unusual treatment of eval in repl as being a site of tail-recursion
do not add nodes for defining constants or other non-procedures. Also add clear-cfg as alias for reset-cfg
add some comments and clean some stuff up