implemented a new TAG - like binary tree grammar
adjoin and substitute operations included