use print_repl, honor silent, and evaluate user vars for #5; status messages for #4; still some weirdness for #10