initial sketch of print_ast.ml