update for new string-dicts, and use PyretCode to choose b/w ast and string