proved inorder, preorder, and postorder examples
moved conversion between IntSeq and List to list_pattern.k