Printing with echo:
Gets translated as (which works correctly):
(shell "echo" "-n" "foo")
(shell "echo" "bar")
We could make the output for top-level echos (that are not part of a pipeline) a bit nicer and idiomatic if we translate them as:
(print "foo")
(println "bar")