BinaryTermNode classes