clean up: more meaningful names in REPL + comments/docs