Implement skeleton for coqtree_of_camltree and string_of_coqtree.