add FingerTree, Finger, Node, foldable law test