mkString is simpler to make string from list.
beginnings of REPL options and pretty-print AST