Added (right) binarization. Added suitable tests. Restructured the test file to take advantage of tree construction from strings.