add header to REPL
update bin jar
update printing example